度规张量

Metric Tensor

度规张量 (通常表示为 $g_{μ ν}$ ) 是微分几何 Differential Geometry 和广义相对论 General Relativity 中的一个核心张量 Tensor。它定义了流形 Manifold 上任意两点之间的距离 Distance 和角度 Angle，从而决定了时空 Spacetime 的几何结构。在广义相对论中，度规张量描述了引力场 Gravitational Field。

1. 定义

度规张量是一个二阶对称张量，它在流形的每一点的切空间 Tangent Space 上定义了一个内积 Inner Product。这个内积允许我们计算向量 Vector 的长度和向量之间的夹角。

在局部坐标系 $x^{μ}$ 下，度规张量可以表示为一个对称矩阵 Matrix，其分量为 $g_{μ ν}$ 。两个无穷小位移矢量 $d x^{μ}$ 和 $d x^{ν}$ 之间的时空间隔 Spacetime Interval $d s^{2}$ 由度规张量给出：

d s^{2} = g_{μ ν} d x^{μ} d x^{ν}

其中，重复的指标表示爱因斯坦求和约定 Einstein Summation Convention。

2. 物理意义

在广义相对论中，度规张量 $g_{μ ν}$ 扮演着至关重要的角色：

描述时空几何：度规张量决定了时空的几何性质，包括曲率 Curvature。不同的度规张量对应着不同的时空几何。
引力场：度规张量就是引力场本身。物质 Matter 和能量 Energy 的存在会改变度规张量，从而使时空弯曲，这种弯曲就是我们感受到的引力。
测量距离和时间：度规张量允许我们计算时空中任意两点之间的固有距离 Proper Distance 和固有时间 Proper Time。

3. 常见度规

3.1. 闵可夫斯基度规 (Minkowski Metric)

在狭义相对论 Special Relativity 中，平坦的、没有引力的时空由闵可夫斯基度规 Minkowski Metric 描述：

η_{μ ν} = (\begin{matrix} - 1 & 0 & 0 & 0 0 & 1 & 0 & 0 0 & 0 & 1 & 0 0 & 0 & 0 & 1 \end{matrix})

在这种度规下，时空间隔为 $d s^{2} = - c^{2} d t^{2} + d x^{2} + d y^{2} + d z^{2}$ 。

3.2. 史瓦西度规 (Schwarzschild Metric)

史瓦西度规 Schwarzschild Metric 是爱因斯坦场方程 Einstein Field Equations 在球对称、无电荷、不旋转的黑洞 Black Hole 外部的解。它描述了黑洞周围的时空几何：

d s^{2} = - (1 - \frac{2 G M}{r c^{2}}) c^{2} d t^{2} + {(1 - \frac{2 G M}{r c^{2}})}^{- 1} d r^{2} + r^{2} (d θ^{2} + \sin^{2} θ d ϕ^{2})

其中 $G$ 是万有引力常数， $M$ 是黑洞的质量， $r$ 是径向坐标， $c$ 是光速。

4. 度规张量与爱因斯坦场方程

爱因斯坦场方程将时空的几何（由爱因斯坦张量 $G_{μ ν}$ 描述，而爱因斯坦张量又由度规张量及其导数构成）与物质和能量的分布（由应力-能量张量 $T_{μ ν}$ 描述）联系起来：

G_{μ ν} + Λ g_{μ ν} = \frac{8 π G}{c^{4}} T_{μ ν}

通过求解这个方程，可以得到在特定物质和能量分布下时空的度规张量，从而理解引力场的性质。

5. 应用

度规张量是广义相对论中所有计算的基础，它被用于：

描述引力场：它是引力场的数学表示。
计算测地线：测地线 Geodesics 的方程由度规张量决定。
研究黑洞：描述黑洞周围的时空几何。
宇宙学模型：构建和分析宇宙 Universe 的演化模型。

微分几何
广义相对论
张量
时空
引力场
黎曼流形